@ARTICLE{Das_j1984_d, author = {J{\"u}rgen~Dassow}, title = {A note on {DTOL} systems}, journal = beatcs, year = 1984, volume = 22, number = {}, pages = {11--14} }